The xSAP Safety Analysis Platform
نویسندگان
چکیده
This paper describes the XSAP safety analysis platform. XSAP provides several model-based safety analysis features for finiteand infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees and Failure Mode and Effects Analysis tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis using Timed Failure Propagation Graphs, and Common Cause Analysis. XSAP has been used in several industrial projects as verification backend, and is currently being evaluated in a joint R&D Project involving FBK and The Boeing Company.
منابع مشابه
Tissue-specific expression of the Ets gene Xsap-1 during Xenopus laevis development
We report the cloning of Xenopus laevis Xsap-1 cDNA, encoding a member of the ternary complex factor subfamily of ETS transcription factors. The expression pattern of Xsap-1 was examined during Xenopus embryogenesis using whole-mount in situ hybridization. Spatial expression of Xsap-1 mRNA is first detected at the animal pole at the mid-blastula stage. During neurulation Xsap-1 is expressed in ...
متن کاملReliability Based Assessment of Existing Fixed Offshore Platforms Located in the Persian Gulf
This paper presents a detailed structural reliability procedure in order to achieve an acceptable safety margin for template type offshore platforms located in the Persian Gulf. Probability of failure in this study is calculated by considering the cumulative effects of all levels of wave loading during the lifetime of the structure and uncertainties associated with soil, material properties, co...
متن کاملAnalysis and Forecast of Mining Accidents in Pakistan
In the mining sector, the barrier to obtain an efficient safety management system is the unavailability of future information regarding the accidents. This paper aims to use the auto-regressive integrated moving average (ARIMA) model, for the first time, to evaluate the underlying causes that affect the safety management system corresponding to the number of accidents and fatalities in the surf...
متن کاملGyroscope Drift Error Analysis in the Position-Independent Navigation Algorithm of a stable platform Inertial System
This paper deals with analyzing gyroscope drift error in the position-independent navigation algorithm of a stable platform inertial system. Most of the stable platform navigation algorithms proposed in the literature have drawbacks of estimating position rates for alignment commands. Not only the estimating position rates are the basic source of position errors, but they also make the alignmen...
متن کاملEffect of Pile Scouring on the Structural Behavior of a Fixed Jacket Platform with Consideration of Non-linear Pile Seabed Interaction
In offshore structures, most of failures are caused by the lack of sufficient piles strength. Scour phenomena affects the load transition and the pile strength. The necessity of the consideration of scouring phenomena amplifies when the scour depth becomes remarkable, which can endanger the jacket stability. In this paper, a new method is used to consider the pile scouring using nonlinear pusho...
متن کامل